تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۳۱ ثانیه یافت شد.

1. Dependence Logic

پدیدآورنده : / Jouko Veaeaneanen

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : First-order logic,نخستین دستور منطق

رده :

BC128

V33

2007

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها